Specification and Analysis of Concurrent Systems: The COSY Approach (Monographs in Theoretical Computer Science. An EATCS Series)
by Ryszard Janicki, Gerard Weisbuch
ISBN 13: 9783642773396
Format: Paperback (500 pages) Publisher: Springer Published: 31 Jul 2012
Save for later